formal definition

мат. формальное определение

мат. formal definition

- actor language
- agent communication language
- a-hardware programming language - application-oriented language
- applicative language
- a-programming language
- artificial language
- assembler language
- assembly language
- assignment language
- author language
- authoring language - business-oriented programming language
- categorical language - configuration language
- constraint language
- combined programming language
- command language
- common language
- common business-oriented language
- compiled language
- compiler language
- computer language
- computer-dependent language - computer-oriented language
- computer-sensitive language
- concurrent language - context- sensitive language
- conversational language
- coordinate language
- database language
- database query language - data structure language
- digital system design language
- declarative language
- declarative markup language
- definitional language
- definitional constraint language
- design language
- device media control language - dynamically scoped language - elementary formalized language
- embedding language
- event-driven language
- expression language
- extensible language - formalized language - functional language
- functional programming language - graph-oriented language - high-order language
- host language - hypersymbol language
- imperative language
- in-line language
- input language
- intelligent language
- interactive language - interpreted language - Java programming language - lexically scoped language
- list-processing language
- low-level language
- machine language
- machine-independent language
- machine-oriented language
- macro language
- manipulator language - meta language
- mnemonic language
- musical language - native-mode language
- natural language - nonprocedural language
- object language
- object-oriented language - physical language
- picture query language
- portable language
- portable standard language
- polymorphic language - print control language
- problem-oriented language
- problem statement language
- procedural language
- procedure-oriented language
- program language
- programming language
- publishing language
- query language
- question-answering language
- register-transfer language
- regular language
- relational language
- right-associative language
- robot language
- robot-level language
- robotic control language
- rule language
- rule-oriented language
- scientific programming language
- script language
- scripting language - sign language
- single-assignment language
- software command language
- source language
- special-purpose programming language
- specification language - stratified language
- stream language
- string-handling language - strongly-typed language - symbolic language - thing language - tone language
- two-dimensional pictorial query language
- typed language
- typeless language
- unchecked language
- unformalized language
- universal language
- unstratified language
- untyped language
- user-oriented language
- very high-level language - well-structured programming language

- a programming language
- abstract machine language
- actor language
- agent communication language
- algebraic logic functional language
- algorithmic language
- amorhic language
- application-oriented language
- applicative language
- artificial language
- assembler language
- assembly language
- assignment language
- author language
- authoring language
- axiomatic architecture description language
- basic combined programming language
- block-structured language
- boundary scan description language
- business-oriented language
- business-oriented programming language
- categorical abstract machine language
- categorical language
- cellular language
- combined programming language
- command language
- common business-oriented language
- common language
- compiled language
- compiler language
- computer hardware description language
- computer language
- computer-dependent language
- computer-independent language
- computer-oriented language
- computer-sensitive language
- concurrent language
- configuration language
- constraint language
- context-free language
- context-sensitive language
- conversational language
- coordinate language
- data definition language
- data description language
- data manipulation language
- data structure language
- database language
- database query language
- declarative language
- declarative markup language
- definitional constraint language
- definitional language
- design language
- device media control language
- digital system design language
- document style semantics and specification language
- domain-specific language
- dynamic hypertext markup language
- dynamic simulation language
- dynamically scoped language
- elementary formalized language
- embedding language
- event-driven language
- expression language
- extensible hypertext markup language
- extensible language
- extensible markup language
- fabricated language
- fifth-generation language
- first-generation language
- formal language
- formalized language
- fourth-generation language
- frame language
- function graph language
- functional language
- functional programming language
- geometrical layout description language
- graphics language
- graph-oriented language
- hardware description language
- Hewlett-Packard graphics language
- Hewlett-Packard printer control language
- high-level language
- high-order language
- host language
- hypersymbol language
- hypertext markup language plus
- hypertext markup language
- imperative language
- in-line language
- input language
- intelligent language
- interactive language
- interactive set language
- intermediate language
- interpreted language
- Java interface definition language
- Java language
- Java programming language
- job control language
- Jules' own version of the international algorithmic language
- knowledge query and manipulation language
- left-associative language
- lexically scoped language
- list-processing language
- low-level language
- machine language
- machine-independent language
- machine-oriented language
- macro language
- manipulator language
- man-machine language
- mathematical markup language
- matrix-based programming language
- meta language
- mnemonic language
- musical language
- my favorite toy language
- native language
- native-mode language
- natural language
- network control language
- network description language
- noninteractive language
- nonprocedural language
- object language
- object-oriented language
- page description language
- parallel object-oriented language
- partial differential equation language
- pattern-matching language
- physical language
- picture query language
- polymorphic language
- portable language
- portable standard language
- practical extraction and report language
- prescriptive language
- print control language
- problem statement language
- problem-oriented language
- procedural language
- procedure-oriented language
- program language
- programming language
- publishing language
- query language
- question-answering language
- register-transfer language
- regular language
- relational language
- right-associative language
- robot language
- robotic control language
- robot-level language
- rule language
- rule-oriented language
- scientific programming language
- script language
- scripting language
- second-generation language
- sense language
- server-parsed hypertext markup language
- set language
- sign language
- simulation language
- single-assignment language
- software command language
- source language
- special-purpose programming language
- specification and assertion language
- specification language
- stack-based language
- standard generalized markup language
- statically scoped language
- stratified language
- stream language
- string-handling language
- string-oriented symbolic language
- string-processing language
- strongly-typed language
- structural design language
- structured query language
- subset language
- symbolic language
- symbolic layout description language
- synchronized multimedia integration language
- target language
- thing language
- third-generation language
- threaded language
- tone language
- two-dimensional pictorial query language
- typed language
- typeless language
- unchecked language
- unformalized language
- universal language
- unstratified language
- untyped language
- user-oriented language
- very high-level language
- very-high-speed integrated circuit hardware description language
- Vienna definition language
- virtual reality modeling language
- visual language
- well-structured programming language
- wireless markup language

- action description language
- actual machine language
- agent programming language
- AI language
- Algol-like language
- algorithmical language
- algorithmic language
- application-oriented language
- applicative language
- artificial language
- assembler language
- assembly language
- assembly-output language
- assignment-free language
- behavioral language
- bidirectional language
- block-structured language
- Boolean-based language
- business definition language
- business-oriented language
- calculus-type language
- C-based language
- client-side language
- code language
- command language
- compiled language
- compiler language
- component definition language
- composite language
- computer language
- computer-dependent language
- computer-independent language
- computer-oriented language
- computer-programming language
- computer-sensitive language
- consensus language
- context-free language
- control language
- conversational language
- core language
- data definition language
- data description language
- data language
- data manipulation language
- data storage description language
- database language
- data-entry language
- data-flow language
- data-query language
- declarative language
- defining language
- descriptive language
- descriptor language
- design language
- device media control language
- direct execution language
- directly interpretable language
- Dyck language
- end-user language
- escape language
- evolutive language
- executive-control language
- executive language
- explicit language
- extensible language
- fabricated language
- finite state language
- flow language
- foreign language
- formalized language
- frame-based language
- freestanding language
- functional language
- generated language
- graphics language
- graph-oriented language
- hardware-description language
- hardware language
- higher-level language
- higher-order language
- host language
- human language
- human-oriented language
- human-readable language
- indexed language
- information retrieval language
- informational language
- information language
- inherently ambiguous language
- input language
- input/output language
- instruction language
- integrated language
- interactive language
- interim language
- intermediate language
- internal language
- interpreted language
- job control language
- job-oriented language
- knowledge representation language
- language pair
- letter-equivalent languages
- linear language
- linear-programming language
- list-processing language
- logic-type language
- low-level language
- machine language
- machine-dependent language
- machine-independent language
- machine-oriented language
- macroassembly language
- macro language
- macroinstruction language
- macroprogramming language
- man-to-computer language
- mathematical formular language
- memory management language
- mnemonic language
- modeling language
- native language
- natural language
- NC programming language
- nested language
- network-oriented language
- nonprocedural language
- numder language
- object language
- object modeling language
- object-oriented language
- one-dimensional language
- operator-oriented language
- original language
- page description language
- parallel language
- phrase structure language
- predicate language
- predicate logic-based language
- predicate logic language
- privacy language
- problem statement language
- problem-oriented language
- procedural language
- procedure-oriented language
- process control language
- production language
- program language
- programming language
- pseudo language
- pseudomachine language
- query language
- readable specification language
- reference language
- regular language
- relational language
- relational-type language
- representation language - requirements modeling language
- restricted language
- rule-based language
- ruly language
- schema language
- science-oriented language
- script language
- self-contained language
- semantic-formal language
- semiformal language
- sentential language
- serial language
- simulation language
- single-assignment language
- source language
- specialized language
- specification language
- stream-based language
- strict language
- structured programming language
- structured query language
- super language
- super-high-level language
- symbolic language
- symbolic programming language
- syntax language
- synthetic language
- system input language
- system language
- system-oriented language
- tabular language
- target language
- TC language
- time sharing language
- type-free language
- unified modeling language
- update language
- user language
- user-oriented language
- very-high-level language

ˈlæŋɡwɪdʒ сущ. язык а) (как способ и средство общения) речь to butcher, murder a language ≈ искажать язык to enrich a language ≈ обогащать язык to learn, master a language ≈ учить язык to plan a language ≈ регулировать язык to purify a language ≈ очищать язык (проведение некоторых мер по выведению из языка тех или иных пластов лексики или грамматических форм) to speak (in) a, to use a language ≈ говорить на языке to standardize a language ≈ стандартизировать язык international, world language ≈ международный язык, язык международного общения dead, extinct language ≈ мертвый язык language acquisition ≈ обучение языку language maintenance ≈ поддержание (знания) языка spoken language ≈ разговорный язык written language ≈ письменный язык native language ≈ родной язык foreign language ≈ иностранный язык national language ≈ национальный язык official language ≈ официальный язык second language ≈ второй язык universal language ≈ универсальный язык formal language ≈ язык официального общения idiomatic language ≈ язык, богатый идиомами nontechnical language ≈ нетехнический язык substandard language ≈ язык, не соответствующий языковой норме technical language ≈ технический язык ancient language ≈ древний язык classical language ≈ классический язык creolized language ≈ креолизованный язык living language ≈ живой язык modern language ≈ современный язык natural language ≈ естественный язык trade language ≈ язык торгового общения agglutinative language ≈ агглютинативный язык inflecting language ≈ флективный язык isolating language ≈ изолирующий язык synthetic language ≈ синтетический язык tone language ≈ язык с тоновым ударением б) (как знаковая система) sign language ≈ язык знаков artificial language ≈ искусственный язык finger language ≈ язык жестов, язык глухонемых в) (языковой или литературный стиль;
язык писателя) the language of Shakespeare ≈ язык Шекспира bad, coarse, crude, dirty, foul, nasty, obscene, offensive, unprintable, vile, vulgar language ≈ грубый, грязный, неприличный, оскорбительный, непечатный, вульгарный язык rough, strong, vituperative language ≈ грубый, бранный язык everyday, plain, simple language ≈ простой, повседневный язык flowery language ≈ цветистый язык (богатый метафорами, сравнениями и др. литературными тропами) colloquial, informal language ≈ язык неофициального общения, разговорный язык literary, standard language ≈ литературный язык abusive language ≈ брань, ругательства children's language ≈ детский язык diplomatic language ≈ дипломатический язык polite language ≈ вежливый язык rich language ≈ богатый язык Syn: wording г) (как способ кодирования) object, target language ≈ язык, на который переводят source language ≈ язык, с которого переводят (в машинном переводе) computer language machine language programming language язык - the Russian * русский язык - finger * язык жестов, язык глухонемых - living * живой язык - working * рабочий язык (в международных организациях) - the working *s of this committee are English and Russian рабочими языками этого комитета являются русский и английский - * arts (американизм) обучение чтению, письму, литературе, словесность (школьный предмет) - * shift переключение на другой язык (о говорящем на иностранном языке) - * department отдел переводов (ООН) - a degree in *s диплом об окончании филологического факультета или института иностранных языков - science of * языкознание речь - spoken * разгговорный язык;
устная речь - written * письменость;
письменный язык - articulate * членораздельная речь - literary * литературный язык - substandard * просторечие - he has a great command of * он прекрасно владеет языком, у него прекрасная речь характер языка;
стиль, слог - fine * изысканный язык, цветистый стиль - strong * сильные выражения - bad * сквернословие - * of poetry язык поэзии - business * деловая речь;
язык деловой переписки - * of law юридический язык - diplomatic * дипломатический язык - the * of Shakespeare язык Шекспира (дипломатическое) формулировка( компьютерное) язык программирования ЭВМ > not to speak the same * совершенно не понимать друг друга > they don't speak the same * они говорят на разных языках algorithmic ~ вчт. алгоритмический язык algorithmical ~ вчт. алгоритмическый язык applicative ~ вчт. функциональный язык artifical ~ вчт. искусственный язык artificial ~ вчт. искусственный язык assembler ~ вчт. язык ассемблера assembly ~ вчт. язык ассемблера authoring ~ вчт. язык для автоматизации творческой работы block-structured ~ вчт. язык с блочной структурой boolean-based ~ вчт. язык булевых операторов command ~ вчт. командный язык compiled ~ вчт. транслируемый язык compiler ~ вчт. язык транслятора computer ~ вчт. машинный язык computer-dependent ~ вчт. машинно-зависимый язык computer-oriented ~ вчт. машинно-ориентированный язык computer-sensitive ~ вчт. машинно-зависимый язык constraint ~ вчт. декларативный язык context-free ~ вчт. контекстно-свободный язык conversational ~ вчт. диалоговый язык conversational ~ вчт. язык диалога data definition ~ вчт. язык определения данных data description ~ вчт. язык описания данных data description ~ вчт. язык определения данных data ~ вчт. язык описания данных data manipulation ~ вчт. язык манипулирования данными data-base ~ вчт. язык базы данных data-query ~ вчт. язык запросов declarative ~ вчт. декларативный язык design ~ вчт. язык проектирования end-user ~ вчт. язык конечного пользователя extensible ~ вчт. расширяемый язык ~ язык;
речь;
finger language язык жестов, язык глухонемых foreign ~ иностранный язык formal ~ формальный язык frame ~ вчт. фреймовый язык high-level ~ вчт. язык высокого уровня host ~ вчт. включающий язык human ~ естественный язык language разг. брань (тж. bad language) ;
I won't have any language here прошу не выражаться inflected ~ флективный язык information retrieval ~ информационно- поисковый язык information retrieval ~ информационно-поисковый язык input ~ вчт. входной язык interactive ~ вчт. диалоговый язык interpreted ~ вчт. интерпретируемый язык kernel ~ вчт. базовый язык knowledge representation ~ вчт. язык представления знаний language разг. брань (тж. bad language) ;
I won't have any language here прошу не выражаться ~ стиль;
язык писателя;
the language of Shakespeare язык Шекспира ~ язык ~ язык;
речь;
finger language язык жестов, язык глухонемых ~ стиль;
язык писателя;
the language of Shakespeare язык Шекспира ~ of the case язык судебного делопроизводства legal ~ юридический язык legal ~ язык права low-level ~ вчт. язык низкого уровня machine ~ вчт. машинный язык machine-dependent ~ вчт. машинно-зависимый язык machine-independent ~ вчт. машинно-независимый язык machine-oriented ~ вчт. машинно-ориентрированный язык macro ~ вчт. макроязык macroinstruction ~ вчт. язык макрокоманд memory management ~ вчт. язык управления памятью meta ~ вчт. метаязык minority ~ язык национального меньшинства mnemonic ~ вчт. символический язык national ~ государственный язык native ~ вчт. собственный язык машины natural ~ вчт. естественный язык nonprocedural ~ вчт. непроцедурный язык object ~ вчт. объектный язык official ~ официальный язык original ~ исходный язык parallel ~ вчт. язык параллельного программирования predicate ~ вчт. язык предикатов problem statement ~ вчт. язык постановки задачи problem-oriented ~ вчт. проблемно-ориентированный язык procedural ~ вчт. процедурный язык procedural ~ процедурный язык procedure-oriented ~ вчт. процедурно ориентированный язык production ~ вчт. продукционный язык program ~ вчт. язык программирования programming ~ вчт. язык программирования query ~ вчт. язык запросов register transfer ~ вчт. язык межрегистровых пересылок regular ~ вчт. регулярный язык relational ~ вчт. реляционный язык representation ~ вчт. язык представлений restricted ~ вчт. упрощенная версия языка rule ~ вчт. язык правил rule-based ~ вчт. язык продукционных правил rule-oriented ~ вчт. язык логического программирования script ~ вчт. язык сценариев serial ~ вчт. язык последовательного программирования source ~ вчт. исходный язык source ~ cmp. исходный язык specification ~ вчт. язык спецификаций subset ~ вчт. подмножество языка symbolic ~ вчт. символический язык symbolic ~ comp. символический язык system ~ вчт. системный язык tabular ~ вчт. табличный язык target ~ вчт. выходной язык target ~ выходной язык target ~ объектный язык threaded ~ вчт. язык транслируемый в шитый код typed ~ вчт. широко используемый язык typeless ~ вчт. безтиповый язык unchecked ~ вчт. язык без контроля типов untyped ~ вчт. язык без контроля типов update ~ вчт. язык корректирующих запросов user ~ вчт. язык пользователя world ~ международный язык

1. сущ. 2. гл. 3. прил.
* * *
market; Mkt; mart 1) рынок: организованная или неформальная система торговли товарами, услугами или финансовыми инструментами на основе четких правил (напр., фондовая биржа); 2) рыночные цены, состояние конъюнктуры; 3) совокупность людей или юридических лиц, предъявляющих текущий или потенциальный спрос на товары услуги; равнозначно спросу; 4) основные участники финансового рынка: дилеры, торгующие за свой счет, посредники и покупатели; 5) = marketplace; 6) рынок как столкновение спроса и предложения покупателей и продавцов, в результате которого определяется цена товара; 7) (to) продавать; см. marketing; 8) = market value; 9) "The Market"= Dow Jones Industrial Average. . Как правило, употребляется применительно к фондовому рынку. 'Сегодня рынок упал' означает, что в этот день стоимость сделок на фондовом рынке снизилась . Инвестиционная деятельность .